基于嵌入式Web的HART仪表远程控制系统

为解决有线HART仪表在恶劣环境中远程传输时易受影响、成本高等问题,结合嵌入式linux系统在远程工业控制中的应用,提出了一种基于嵌入式Web的HART仪表远程控制系统。采用S3C2440处理器和DM9000网络芯片,在嵌入式系统上移植Boa Web服务器,并运用CGI技术实现动态网页控制。利用该控制系统,客户只需在室内通过浏览器即可对HART仪表进行远程监控,且不需要专门的组态软件。     

基于依赖矩阵的Web服务组合故障诊断

为了保证指挥信息系统在动态环境下能够提供持续可靠的组合服务,提出一种利用依赖矩阵对Web服务组合故障原因进行诊断的模型,对依赖矩阵的建立进行了详细说明。然后,基于构造的依赖矩阵,提出改进的贪心算法对失效情况进行探测,并设计了基于二分查找的故障定位算法。实验模拟表明,提出的模型能够利用少量探测就能监测整个服务组合流程的运行情况,并定位找到错误源。     

新一代指挥信息系统中的语义网应用能力分析

随着现代战争形式的演变,提升指挥信息系统能力的关键在于信息处理.语义网是一种先进的信息表示方法,能够有效地提升机器的信息理解和处理能力.简要介绍了语义网技术的组成和本质能力,并结合美军的研究实例,分析了其在新一代指挥信息系统中的应用能力,指出了发展机遇和挑战,并对未来研究提出了建议.     

“又＋动1＋又＋动2”格式之考察

本文对收集到的＂又＋动1＋又＋动2＂格式的语料进行了定量、定性分析,从它的构成形式、语义特点、位序特点、语法功能四个方面概括了这一格式的特点,并比较分析了这一格式与＂又＋形1＋又＋形2＂格式的相同点和不同点,以及与其它并列格式的区别。以期对＂又A又B＂格式的特点有个更全面、准确地把握。     

基于SWE的空天资源对地观测协同任务规划服务模型

空天协同对地观测是对地观测领域的新趋势。为解决现有空天资源规划调度系统相对独立、协同困难的问题,分析总结了SWE(Sensor Web Enablement)标准,并在此基础上提出了空天资源对地观测协同任务规划服务模型。在此模型中,为实现观测资源共享,建立了空天观测资源传感器描述模型,能够描述典型空天资源的载荷平台、观测机理、定位信息、使用约束和工作特性等信息;为简化观测请求交互流程,基于SOA技术对SWE标准操作进行封装及简化,用户可以在不了解观测平台细节信息的情况下提交观测数据请求。为验证模型有效性,构建了空天资源对地观测协同任务规划实验平台,结果表明该模型具有较强的可实现性和适应性。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

Web与数据库互连技术研究

针对Web与数据库互连技术的重要性,重点研究了采用CGI、IDC、JAVA、ASP这四种技术实现Web与数据库互连,并对其进行综合比较。     

模糊群体决策的多方案评价方法

针对多方案评估中因素评价难于精确表示的问题,提出了一种基于模糊语言变量和OWA(OrderedWeightedAveraging)集结算子的群体评价模型与方法,给出各因素的方案两两对比偏好语言评价值,并通过对多决策者、子因素、主因素的三次集结和对模型中α值的恰当选取,可得到方案集的优序排列。该方法可行、有效,可为群体决策提供新的途径。     

现代文本分类技术研究

分析了当前的文本分类技术,总结了文本分类需要解决的问题;在详细比较了各种不同的分类算法以及文本模型以后,为进一步开展优化以及提高文本分类技术的研究工作提供了一些参考和建议。     

可组合仿真模型的语义形式描述及组合判定方法

如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一.建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可组合性质.形成语义层次的组合判定方法;对组合相容性与可替换性质之间的关系进行了分析.